Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Central processing unit
• ARM architecture
• Translation lookaside buffer
• Hypervisor
• Protection ring
• QEMU
• X86 virtualization
• Hyper-V
• Second Level Address Translation

Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www

Source URL: www.usenix.org

• Computing
• Internet
• Internet security
• Secure communication
• Free software
• Transmission Control Protocol
• Tor
• Support vector machine

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Source URL: www.usenix.org

• Computing
• Internet
• Anonymity
• Cryptography
• Internet privacy
• Dining cryptographers problem
• Internet Standards
• Internet Relay Chat
• Clientserver model
• Anonymous web browsing
• Server
• Anonymizer

Haiying Tao Department of Crop and Soil Sciences Washington State University 161 Johnson Hall Pullman, WATel:

Source URL: css.wsu.edu

David J. Brown Department of Crop and Soil Sciences Washington State University 201 Johnson Hall, P.O. BoxPullman, WA

Source URL: css.wsu.edu

Expanding the concept of Networked Learning Mike Johnson Cardiff School of Nursing and Midwifery Studies, Cardiff University, Abstract This paper is founded on the belief that the concept of Networked

Source URL: www.networkedlearningconference.org.uk

A Hierarchical Approach for Generating Descriptive Image Paragraphs Jonathan Krause Justin Johnson Ranjay Krishna Stanford University

Source URL: arxiv.org

Facebook and Privacy: It’s Complicated Maritza Johnson Columbia University Serge Egelman

Source URL: maritzajohnson.com

Cooperating Raleigh Colleges (CRC) CHIEF FINANCIAL OFFICERS COMMITTEE MEETING NC State University, Joyner Visitor Center October 26, 2017, 3 p.m. Lori Johnson, Chair, Host In Attendance: Lori Johnson, Senior Director of

Source URL: crcraleighcolleges.org.s101735.gridserver.com